Mathematical Pluralism: The Case of Smooth Infinitesimal Analysis

نویسنده

  • Geoffrey Hellman
چکیده

A remarkable development in twentieth-century mathematics is smooth infinitesimal analysis ("SIA"), introducing nilsquare and nilpotent infinitesimals, recovering the bulk of scientifically applicable classical analysis ("CA") without resort to the method of limits. Formally, however, unlike Robinsonian "nonstandard analysis", SIA conflicts with CA, deriving, e.g., "not every quantity is either = 0 or not = 0". Internally, consistency is maintained by using intuitionistic logic (without the law of excluded middle). This paper examines problems of interpretation resulting from this "change of logic", arguing that standard arguments based on "smoothness" requirements are question-begging. Instead, it is suggested that recent philosophical work on the logic of vagueness is relevant, especially in the context of a Hilbertian structuralist view of mathematical axioms (as implicitly defining structures of interest). The relevance of both topos models for SIA and modal-structuralism as appled to this theory is clarified, sustaining this remarkable instance of mathematical pluralism.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The Symmetries of Equivalent Lagrangian Systems and Constants of Motion

In this paper Mathematical structure of time-dependent Lagrangian systems and their symmetries are extended and the explicit relation between constants of motion and infinitesimal symmetries of time-dependent Lagrangian systems are considered. Starting point is time-independent Lagrangian systems ,then we extend mathematical concepts of these systems such as equivalent lagrangian systems to th...

متن کامل

GROUPOID ASSOCIATED TO A SMOOTH MANIFOLD

‎In this paper‎, ‎we introduce the structure of a groupoid associated to a vector field‎ ‎on a smooth manifold‎. ‎We show that in the case of the $1$-dimensional manifolds‎, ‎our‎ ‎groupoid has a‎ ‎smooth structure such that makes it into a Lie groupoid‎. ‎Using this approach‎, ‎we associated to‎ ‎every vector field an equivalence‎ ‎relation on the Lie algebra of all vector fields on the smooth...

متن کامل

Mixed two-stage derivative estimator for sensitivity analysis

In mathematical modeling, determining most influential parameters on outputs is of major importance. Thus, sensitivity analysis of parameters plays an important role in model validation. We give detailed procedure of constructing a new derivative estimator for general performance measure in Gaussian systems. We will take advantage of using score function and measure-value derivative estimators ...

متن کامل

A New Approach to Nonstandard Analysis

In this paper, we propose a new approach to nonstandard analysis without using the ultrafilters. This method is very simple in practice. Moreover, we construct explicitly the total order relation in the new field of the infinitesimal numbers. To illustrate the importance of this work, we suggest comparing  a few applications of this approach with the former methods.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • J. Philosophical Logic

دوره 35  شماره 

صفحات  -

تاریخ انتشار 2006